logic program

Application of Digital Logic Program Designing Method of Microminiature PLC

超小型PLC数字逻辑程序设计方法的应用

Strongly constructive learning of a sort of recursive logic program

一类递归逻辑程序的强构造学习

However, in search of the relevant data, the cost of generating additional tuples produced by logic program to which magic transformation is applied increases with the arity of IDB ( Intensional DataBase) predicates increasing.

但是随着递归IDB（Intensional Database）谓词的项的个数增大，经魔集转换的逻辑程序为寻找与查询相关数据而产生附加元组的开销也会增大。

Constrasted with other semantics theories of nonmonotonic logic programming, Answer Set semantics, the kernel of Answer Set programming technology, is concise and simple, and fully utilizes the fruits acquired by the logic programming community, and effectively realizes nonmonotonic reasoning of the logic program.

作为该类编程技术的核心，Answer Set语义相对其它非单调逻辑编程语义理论简洁明了，它充分利用了逻辑编程领域的已有成果，有效地实现了逻辑程序的非单调推理。